@@
statement S;
@@

 {
 S
 }
+foo();
